21. EMSOFT 2004 : fourth ACM International Conference on Embedded Software, September 27-29, 2004, Pisa, Italy
Author: Program & General chair: Giorgio Buttazzo; sponsored by ACM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
76
.
D47E57
2004
22. EMSOFT 2006 : proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, October 22-25, 2006, Seoul, Korea : Embedded Systems Week 2006
Author: sponsored by ACM SigBED,..ACM SIGDA, ACM SigMicro, IEEE Computer Society
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Embedded computer systems
Classification :
QA
76
.
76
.
D47E57
2006
23. Embedded software :first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Author: Thomas A. Henzinger, Christoph M. Kirsch )eds.(
Library: Library of Niroo Research Institue (Tehran)
Subject: Development Congresses ، Computer software
Classification :
QA
76
.
76
.
D47E47
2001
24. Embedded software for SoC
Author: / edited by Ahmed Amine Jerraya ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
Classification :
QA76
.
76
.
D47
,
E46
2003
25. Embedded software for SoC
Author: / edited by Ahmed Amine Jerraya ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
Classification :
QA76
.
76
.
D47
,
E46
2003
26. Embedded software : second International conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
Author: Alberto Sangiovanni-Vincentelli, Joseph Sifakis )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
L28
Vol
.
2491
27. Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
Author: Rajeev Alur, Insup Lee )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
Classification :
QA
76
.
L28
Vol
.
2855
28. Error- free Software
Author: / Robert Laurence Baber,Baber
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer software-- Reliability-- Congresses,Computer Software-- Development
Classification :
QA
76
.
76
.
R44B33
1991
29. Experience with the management of software projects 1992
Author: / Edited by P. Elzer and V. Haase
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software-Development-Management-congresses
Classification :
QA
76
.
76
.
D47E942
1992
30. Experience with the management of software projects, 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October- 1 November, 1989
Author: edited by F.J. Mowle and P.F. Elzer
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer software- Development- Management- Congresses
Classification :
QA
76
.
76
.
D47E942
1990
31. Extreme programming and agile methodes - XP/ Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
Author: Carman Zannier, Hakan Erdogmus, Lowell Lindstorm ) eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Development -- Congresses ، Computer software,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
3134
32. Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 : proceedings
Author: Don Wells, Laurie Williams )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
2418
33. Extreme programming and agile methods : XP/Agile Universe 2003 : third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003 : proceedings
Author: Frank Maurer, Don Wells )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
2753
34. Extreme programming and agile processes in software engineering : 6th International Conference, XP 2005, Sheffield, UK , June 18-23, 2005; proceedings
Author: Hubert Baumeister, Michele Marchesi, Mike Holcombe )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
3556
35. Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
Author: Jutta Eckstein, Hubert Baumeister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
3092
36. Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 : proceedings
Author: Michele Marchesi, Giancarlo Succi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، eXtreme programming
Classification :
QA
76
.
L28
Vol
.
2675
37. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
38. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Author: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
3582
39. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Author: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
Classification :
QA
76
.
L28
Vol
.
1708-1709
40. FME 2002 :
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2002
